Handling Owl: sameAs via Rewriting
نویسندگان
چکیده
Rewriting is widely used to optimise owl:sameAs reasoning in materialisation based OWL 2 RL systems. We investigate issues related to both the correctness and efficiency of rewriting, and present an algorithm that guarantees correctness, improves efficiency, and can be effectively parallelised. Our evaluation shows that our approach can reduce reasoning times on practical data sets by orders of magnitude.
منابع مشابه
Handling owl:sameAs in RDFox via Rewriting
RDFox is a scalable, centralised, main-memory, multi-core RDF system that supports materialisation-based reasoning in OWL 2 RL and SWRL. Reasoning with the owl:sameAs property using the OWL 2 RL/RDF rules can be very inefficient, so in this paper we extend RDFox to handle owl:sameAs via rewriting—replacing equal resources with a single representative. The main challenge in applying this well-kn...
متن کاملOwlgres: A Scalable OWL Reasoner
We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking and conjunctive query services, supports DL-LiteR as well as the OWL sameAs construct, and is not limited to PostgreSQL. We discuss the implementation with special focus on sameAs and the supported subset of the SPARQL languag...
متن کاملSameAs Networks and Beyond: Analyzing Deployment Status and Implications of owl: sameAs in Linked Data
Millions of owl:sameAs statements have been published on the Web of Data. Due to its unique role and heavy usage in Linked Data integration, owl:sameAs has become a topic of increasing interest and debate. This paper provides a quantitative analysis of owl:sameAs deployment status and uses these statistics to focus discussion around its usage in Linked Data.
متن کاملEvaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies
In this paper we present the Quonto Inconsistent Data handler (QuID). QuID is a reasoner for OWL 2 QL that is based on the system Quonto and is able to deal with inconsistent ontologies. The central aspect of QuID is that it implements two different, orthogonal strategies for dealing with inconsistency: ABox repairing techniques, based on data manipulation, and consistent query answering techni...
متن کاملOptimized Query Rewriting in OWL 2 QL
The OWL 2 QL profile has been designed to facilitate query answering via query rewriting. This paper presents an optimized query rewriting algorithm which takes advantage of the special characteristics of the query rewriting problem via first-order resolution in OWL 2 QL and computes efficiently the set of the non redundant rewritings of a user query, by avoiding blind and redundant inferences,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015